<?php

/* Funcion que libera variables session */
function fUnSetVariablesSesion()
{
	unset($_SESSION["login_name_usuario"]);
	unset($_SESSION["usuario_id"]);
	unset($_SESSION["usuario_nombre"]);
	unset($_SESSION["usuario_apellido"]);
	unset($_SESSION["id_tipo_cia"]);
	unset($_SESSION["id_tipo_usuario"]);
	unset($_SESSION["nivel_autoridad_tipo_usuario"]);
	unset($_SESSION["nivel_autoridad_tipo_cia"]);
}

/* Funcion que chequea si el usuario está logueado o no */
function fUsuarioLogueado()
{
	if (isset($_SESSION["login_name_usuario"])){
		return true;
	} else {
		return false;
	};
}

function fGetPaginaActual()
{
	$pagina_actual = substr($_SERVER["SCRIPT_NAME"],strrpos($_SERVER["SCRIPT_NAME"],"/")+1);
	$pagina_actual = strtoupper($pagina_actual);
	return $pagina_actual;
}
?>
